WikiRank.net
ver. 1.6

Lean (bewijsassistent)

Qualidade:

Esta linguagem de programação é a 453º mais popular no ranking mundial da Wikipédia de linguagens de programação e o 217º mais popular linguagens de programação na Wikipédia em holandês. O artigo "Lean (bewijsassistent)" na Wikipédia em holandês tem 10.6 pontos para qualidade (em 1º de agosto de 2024). O artigo contém 0 referências e 10 seções.

Este artigo tem a melhor qualidade na Wikipédia em chinês. No entanto, a versão em idioma mais popular deste artigo é o inglês.

Conquistas em todo o tempo:
Wikipédia em holandês:
Wikipédia Global:

Em julho de 2024 o artigo "Lean (bewijsassistent)" foi editado por 1 autores na Wikipédia em holandês e escrito por 4 autores em todos os idiomas.

Desde a criação do artigo "Lean (bewijsassistent)", seu conteúdo foi escrito por 2 usuários cadastrados na Wikipédia em holandês e editado por 98 usuários registrados da Wikipédia em todos os idiomas.

O artigo "Lean (bewijsassistent)" está em 217º lugar no ranking local de linguagens de programação na Wikipédia em holandês e está em 453º lugar no ranking global de linguagens de programação em todo o tempo.

A classificação mais alta de interesse dos autores em 2001:

  • Local (holandês): Nº 12242 em março de 2024
  • Global: Nº 28638 em junho de 2024

A classificação de popularidade mais alta de 2008:

  • Local (holandês): Nº 299450 em março de 2024
  • Global: Nº 160905 em julho de 2024

Existem versões deste artigo em 12 idiomas no banco de dados WikiRank (das 55 edições em idiomas da Wikipédia consideradas).

A avaliação de qualidade e popularidade foi baseada em despejos da Wikipedia de 1º de agosto de 2024 (incluindo histórico de revisões e visualizações de página de anos anteriores).

A tabela abaixo mostra as versões linguísticas do artigo com a mais alta qualidade.

Idiomas com a mais alta qualidade

#IdiomaGrau de qualidadePontuação de qualidade
1chinês (zh)
Lean
44.1679
2inglês (en)
Lean (proof assistant)
39.2322
3japonês (ja)
Lean (証明アシスタント)
33.3528
4alemão (de)
Lean (Beweisassistent)
31.898
5espanhol (es)
Lean
27.6817
6persa (fa)
لین (دستیار اثبات)
25.4167
7ucraniano (uk)
Lean
24.9286
8russo (ru)
Lean
21.4148
9vietnamita (vi)
Lean (trợ lý chứng minh)
13.5515
10holandês (nl)
Lean (bewijsassistent)
10.554
Mais...

A tabela a seguir mostra as versões linguísticas mais populares do artigo.

Mais popular de todos os tempos

As versões linguísticas mais populares do artigo "Lean (bewijsassistent)" em todo o tempo
#IdiomaPrêmio de popularidadePopularidade relativa
1inglês (en)
Lean (proof assistant)
198 539
2russo (ru)
Lean
7 610
3francês (fr)
Lean (assistant de preuve)
5 505
4japonês (ja)
Lean (証明アシスタント)
5 106
5alemão (de)
Lean (Beweisassistent)
1 729
6espanhol (es)
Lean
808
7chinês (zh)
Lean
355
8ucraniano (uk)
Lean
323
9tcheco (cs)
Lean (programovací jazyk)
251
10vietnamita (vi)
Lean (trợ lý chứng minh)
182
Mais...

A tabela a seguir mostra as versões linguísticas do artigo com maior popularidade no último mês.

Mais populares em julho de 2024

As versões linguísticas mais populares do artigo "Lean (bewijsassistent)" em julho de 2024
#IdiomaPrêmio de popularidadePopularidade relativa
1inglês (en)
Lean (proof assistant)
11 293
2japonês (ja)
Lean (証明アシスタント)
654
3alemão (de)
Lean (Beweisassistent)
561
4russo (ru)
Lean
330
5chinês (zh)
Lean
226
6francês (fr)
Lean (assistant de preuve)
163
7espanhol (es)
Lean
110
8tcheco (cs)
Lean (programovací jazyk)
15
9holandês (nl)
Lean (bewijsassistent)
15
10vietnamita (vi)
Lean (trợ lý chứng minh)
14
Mais...

A tabela a seguir mostra as versões linguísticas do artigo com maior Interesse dos Autores.

A IA mais alta

Versões linguísticas do artigo "Lean (bewijsassistent)" com maior Interesse dos Autores (número de autores). Apenas usuários registrados da Wikipédia foram levados em consideração.
#IdiomaPrêmio de IAIA relativa
1inglês (en)
Lean (proof assistant)
53
2francês (fr)
Lean (assistant de preuve)
9
3alemão (de)
Lean (Beweisassistent)
8
4russo (ru)
Lean
8
5japonês (ja)
Lean (証明アシスタント)
7
6espanhol (es)
Lean
3
7vietnamita (vi)
Lean (trợ lý chứng minh)
3
8holandês (nl)
Lean (bewijsassistent)
2
9ucraniano (uk)
Lean
2
10tcheco (cs)
Lean (programovací jazyk)
1
Mais...

A tabela a seguir mostra as versões linguísticas do artigo com maior Interesse dos Autores no último mês.

A IA mais alta em julho de 2024

Versões linguísticas do artigo "Lean (bewijsassistent)" com a IA mais alta em julho de 2024
#IdiomaPrêmio de IAIA relativa
1inglês (en)
Lean (proof assistant)
1
2espanhol (es)
Lean
1
3japonês (ja)
Lean (証明アシスタント)
1
4holandês (nl)
Lean (bewijsassistent)
1
5tcheco (cs)
Lean (programovací jazyk)
0
6alemão (de)
Lean (Beweisassistent)
0
7persa (fa)
لین (دستیار اثبات)
0
8francês (fr)
Lean (assistant de preuve)
0
9russo (ru)
Lean
0
10ucraniano (uk)
Lean
0
Mais...

A tabela a seguir mostra as versões linguísticas do artigo com maior número de citações.

O maior índice de citação

Versões linguísticas do artigo "Lean (bewijsassistent)" com o maior Índice de Citação (IC)
#IdiomaPrêmio de ICIC relativo
1inglês (en)
Lean (proof assistant)
344
2russo (ru)
Lean
75
3chinês (zh)
Lean
34
4francês (fr)
Lean (assistant de preuve)
7
5japonês (ja)
Lean (証明アシスタント)
5
6tcheco (cs)
Lean (programovací jazyk)
3
7alemão (de)
Lean (Beweisassistent)
3
8espanhol (es)
Lean
3
9ucraniano (uk)
Lean
2
10persa (fa)
لین (دستیار اثبات)
0
Mais...

Pontuações

Valor estimado para Wikipédia:
holandês:
Global:
Popularidade em julho de 2024:
holandês:
Global:
Popularidade em todos os anos:
holandês:
Global:
Autores em julho de 2024:
holandês:
Global:
Autores cadastrados em todos anos:
holandês:
Global:
Citações:
holandês:
Global:

Medidas de qualidade

Interwikis

#IdiomaValor
cstcheco
Lean (programovací jazyk)
dealemão
Lean (Beweisassistent)
eninglês
Lean (proof assistant)
esespanhol
Lean
fapersa
لین (دستیار اثبات)
frfrancês
Lean (assistant de preuve)
jajaponês
Lean (証明アシスタント)
nlholandês
Lean (bewijsassistent)
rurusso
Lean
ukucraniano
Lean
vivietnamita
Lean (trợ lý chứng minh)
zhchinês
Lean

Tendências de classificação de popularidade

Melhor Posição holandês:
Nº 299450
03.2024
Global:
Nº 160905
07.2024

Tendências de classificação de IA

Melhor Posição holandês:
Nº 12242
03.2024
Global:
Nº 28638
06.2024

Comparação de idiomas

Interconexões globais importantes

Resultados cumulativos de qualidade e popularidade do artigo da Wikipédia

Lista de artigos da Wikipédia em diferentes idiomas (começando pelos mais populares):

ru: Lean
es: Lean
zh: Lean
uk: Lean

Notícias de 27 de novembro de 2024

Em 27 de novembro de 2024, na Wikipédia multilíngue, os usuários da Internet leem com mais frequência artigos sobre os seguintes tópicos: Isabel, imperatriz da Áustria, Francisco José I da Áustria, Ação de Graças, Liga dos Campeões da UEFA, Wicked, Gladiator II, Elon Musk, ChatGPT, mortes em 2024, Wicked.

Na Wikipédia em holandês, os artigos mais populares naquele dia foram: Elisabeth in Beieren (1837-1898), Marino Pusic, FK Sjachtar Donetsk, Annemarie Oster, Anis Hadj Moussa, Frans Jozef I van Oostenrijk, Haptonomie, ChatGPT, Ellen ten Damme, Kaj Gorgels.

Sobre o WikiRank

O projeto destina-se à avaliação relativa automática dos artigos nas diversas versões linguísticas da Wikipédia. No momento, o serviço permite comparar mais de 44 milhões de artigos da Wikipédia em 55 idiomas. Os índices de qualidade dos artigos são baseados em despejos da Wikipédia de agosto de 2024. Ao calcular a popularidade atual e a IA dos artigos, foram levados em consideração os dados de julho de 2024. Para valores históricos de popularidade e AI, o WikiRank usou dados de 2001 a 2023... Mais Informações